inhabitants Germany